منابع مشابه
Teaching Constraints through Logic Puzzles
The paper describes the experiences of seven years of teaching a constraint logic programming course at the Budapest University of Technology and Economics. We describe the structure of the course, the material covered, some examples, assignments, and examination tasks. Throughout the paper we show how logic puzzles can be used to illustrate constraint programming techniques.
متن کاملTeaching tools for logic-based grammar development
A well-known slogan in language technology is ‘parsing-as-deduction’: syntax and meaning analysis of a text takes the form of a mathematical proof. Developers of language technology (and students of computational linguistics) want to visualize these mathematical objects, and their dynamic unfolding, in a variety of formats. We discuss a language engineering environment for type-logical computat...
متن کاملWinKE: A Proof Assistant for Teaching Logic
WinKE is a new interactive theorem proving assistant based on the KE calculus, a refutation system which combines features from Smullyan's analytic tableaux and Gentzen's natural deduction. It has been developed to support teaching logic and reasoning to undergraduate students. The software is supportive of and complementary to an introductory textbook on classical logic Mondadori and D'Agostin...
متن کاملTeaching Cyber-Physical Systems with Logic
This paper reports on a course breaking with the myth that cyber-physical systems are too challenging to be taught at the undergraduate level. Cyber-physical systems (CPSs) such as computer-controlled cars, airplanes or robots play an increasingly crucial role in our daily lives. They are systems that we bet our lives on, so they need to be safe. Getting CPSs safe, however, is an intellectual c...
متن کاملThe Role of Logic in Teaching Proof
1. INTRODUCTION. Over the past several decades, many of those involved with mathematics education at the college and university level have turned their attention to the difficulties students experience in mathematics courses requiring them to write proofs. Because even mathematics majors have trouble in more advanced courses, a number of mathematicians have written " transition " books whose ai...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Revista Eletrônica Informação e Cognição (Cessada)
سال: 1969
ISSN: 1807-8281
DOI: 10.36311/1807-8281.2007.v6n2.755